Rejet zéro, niveau zéro, risque acceptable
نویسندگان
چکیده
منابع مشابه
Zero is the only acceptable leakage rate for geologically stored CO2: an editorial comment
Leakage is one of the main concerns of all parties involved with the development of Carbon Capture and Storage. From an economic point of view, Van der Zwaan and Gerlagh (2009) suggest that CCS remains a valuable option even with CO2 leakage rate as high as of a few % per year. But what is valuable is, ultimately, determined by social preferences and parameters that are beyond economic modeling...
متن کاملM ay 2 00 9 An example of a non adequate numeral system
Résumé Un système numérique est défini par la donnée de trois λ-termes clos: un λ-terme normal d0 pour Zéro, un λ-terme Sd pour le Successeur, et un λ-terme pour le Test à Zéro, tels que les λ-termes (Sd i d0) sont normalisables et possèdent des formes normales differentes. Un système numérique est dit adéquat ssi il possède un λ-terme clos pour le Prédécesseur. Dans cette Note nous présentons ...
متن کاملDétection et Représentation des changements dans les sources de données RDF
Résumé : De nombreuses sources de données RDF sont en évolution constante que ce soit au niveau des données ou du vocabulaire utilisé (ontologie). De nombreuses tâches d’intégration sont impactées par ces modifications qu’il s’agisse de synchroniser des données locales avec une source de données externe ou d’effectuer des traitements plus complexes comme le liage ou la fusion de données. Dans c...
متن کاملAn example of a non adequate numeral system
Résumé Un système numérique est défini par la donnée de trois λ-termes clos: un λ-terme normal d0 pour Zéro, un λ-terme Sd pour le Successeur, et un λ-terme pour le Test à Zéro, tels que les λ-termes (Sd i d0) sont normalisables et possèdent des formes normales differentes. Un système numérique est dit adéquat ssi il possède un λ-terme clos pour le Prédécesseur. Dans cette Note nous présentons ...
متن کاملForcing de bas niveau
Le langage logique est celui de la logique du second ordre, avec des symboles de fonctions et des variables et constantes de prédicat sur les individus. Les seuls symboles logiques sont →,∀. Définitions. ⊥≡∀X X ; ¬A ≡ A →⊥ ; A∧B ≡¬(A,B →⊥) ; A∨B ≡¬A,¬B →⊥ ; ∃x A ≡¬∀x¬A ; ∃X A ≡¬∀X¬A ; t = u ≡∀X (X t → X u). On écrira A1, A2, . . . , Ak → A pour A1 → (A2 → (. . . (Ak → A) . . .)). On écrira ∃x{A...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal français d’hydrologie
سال: 1984
ISSN: 0335-9581
DOI: 10.1051/water/19841502115